<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>InferBase__Config (InferBase.InferBase__Config)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc %%VERSION%%"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">InferBase</a> &#x00BB; InferBase__Config</nav><h1>Module <code>InferBase__Config</code></h1><p>Configuration values: either constant, determined at compile time, or set at startup time by system calls, environment variables, or command line options</p><nav class="toc"><ul><li><a href="#constant-configuration-values">Constant configuration values</a></li><li><a href="#configuration-values-specified-by-command-line-options">Configuration values specified by command-line options</a></li><li><a href="#command-line-interface-documentation">Command Line Interface Documentation</a></li><li><a href="#miscellanous">Miscellanous</a></li></ul></nav></header><dl><dt class="spec type" id="type-os_type"><a href="#type-os_type" class="anchor"></a><code><span class="keyword">type</span> os_type</code><code> = </code><table class="variant"><tr id="type-os_type.Unix" class="anchored"><td class="def constructor"><a href="#type-os_type.Unix" class="anchor"></a><code>| </code><code><span class="constructor">Unix</span></code></td></tr><tr id="type-os_type.Win32" class="anchored"><td class="def constructor"><a href="#type-os_type.Win32" class="anchor"></a><code>| </code><code><span class="constructor">Win32</span></code></td></tr><tr id="type-os_type.Cygwin" class="anchored"><td class="def constructor"><a href="#type-os_type.Cygwin" class="anchor"></a><code>| </code><code><span class="constructor">Cygwin</span></code></td></tr></table></dt><dt class="spec type" id="type-compilation_database_dependencies"><a href="#type-compilation_database_dependencies" class="anchor"></a><code><span class="keyword">type</span> compilation_database_dependencies</code><code> = </code><table class="variant"><tr id="type-compilation_database_dependencies.Deps" class="anchored"><td class="def constructor"><a href="#type-compilation_database_dependencies.Deps" class="anchor"></a><code>| </code><code><span class="constructor">Deps</span> <span class="keyword">of</span> <span>int option</span></code></td><td class="doc"><p>get the compilation database of the dependencies up to depth n by <code>Deps (Some n)</code>, or all by <code>Deps None</code></p></td></tr><tr id="type-compilation_database_dependencies.NoDeps" class="anchored"><td class="def constructor"><a href="#type-compilation_database_dependencies.NoDeps" class="anchor"></a><code>| </code><code><span class="constructor">NoDeps</span></code></td></tr></table></dt></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare_compilation_database_dependencies"><a href="#val-compare_compilation_database_dependencies" class="anchor"></a><code><span class="keyword">val</span> compare_compilation_database_dependencies : <a href="index.html#type-compilation_database_dependencies">compilation_database_dependencies</a> <span>&#45;&gt;</span> <a href="index.html#type-compilation_database_dependencies">compilation_database_dependencies</a> <span>&#45;&gt;</span> int</code></dt></dl></div></div></div><dl><dt class="spec type" id="type-build_system"><a href="#type-build_system" class="anchor"></a><code><span class="keyword">type</span> build_system</code><code> = </code><table class="variant"><tr id="type-build_system.BAnt" class="anchored"><td class="def constructor"><a href="#type-build_system.BAnt" class="anchor"></a><code>| </code><code><span class="constructor">BAnt</span></code></td></tr><tr id="type-build_system.BBuck" class="anchored"><td class="def constructor"><a href="#type-build_system.BBuck" class="anchor"></a><code>| </code><code><span class="constructor">BBuck</span></code></td></tr><tr id="type-build_system.BClang" class="anchored"><td class="def constructor"><a href="#type-build_system.BClang" class="anchor"></a><code>| </code><code><span class="constructor">BClang</span></code></td></tr><tr id="type-build_system.BGradle" class="anchored"><td class="def constructor"><a href="#type-build_system.BGradle" class="anchor"></a><code>| </code><code><span class="constructor">BGradle</span></code></td></tr><tr id="type-build_system.BJava" class="anchored"><td class="def constructor"><a href="#type-build_system.BJava" class="anchor"></a><code>| </code><code><span class="constructor">BJava</span></code></td></tr><tr id="type-build_system.BJavac" class="anchored"><td class="def constructor"><a href="#type-build_system.BJavac" class="anchor"></a><code>| </code><code><span class="constructor">BJavac</span></code></td></tr><tr id="type-build_system.BMake" class="anchored"><td class="def constructor"><a href="#type-build_system.BMake" class="anchor"></a><code>| </code><code><span class="constructor">BMake</span></code></td></tr><tr id="type-build_system.BMvn" class="anchored"><td class="def constructor"><a href="#type-build_system.BMvn" class="anchor"></a><code>| </code><code><span class="constructor">BMvn</span></code></td></tr><tr id="type-build_system.BNdk" class="anchored"><td class="def constructor"><a href="#type-build_system.BNdk" class="anchor"></a><code>| </code><code><span class="constructor">BNdk</span></code></td></tr><tr id="type-build_system.BXcode" class="anchored"><td class="def constructor"><a href="#type-build_system.BXcode" class="anchor"></a><code>| </code><code><span class="constructor">BXcode</span></code></td></tr></table></dt></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare_build_system"><a href="#val-compare_build_system" class="anchor"></a><code><span class="keyword">val</span> compare_build_system : <a href="index.html#type-build_system">build_system</a> <span>&#45;&gt;</span> <a href="index.html#type-build_system">build_system</a> <span>&#45;&gt;</span> int</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-equal_build_system"><a href="#val-equal_build_system" class="anchor"></a><code><span class="keyword">val</span> equal_build_system : <a href="index.html#type-build_system">build_system</a> <span>&#45;&gt;</span> <a href="index.html#type-build_system">build_system</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-build_system_of_exe_name"><a href="#val-build_system_of_exe_name" class="anchor"></a><code><span class="keyword">val</span> build_system_of_exe_name : string <span>&#45;&gt;</span> <a href="index.html#type-build_system">build_system</a></code></dt><dt class="spec value" id="val-string_of_build_system"><a href="#val-string_of_build_system" class="anchor"></a><code><span class="keyword">val</span> string_of_build_system : <a href="index.html#type-build_system">build_system</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-env_inside_maven"><a href="#val-env_inside_maven" class="anchor"></a><code><span class="keyword">val</span> env_inside_maven : <a href="../../InferStdlib/InferStdlib/index.html#module-IStd">InferStdlib.IStd</a>.Unix.env</code></dt></dl><section><header><h3 id="constant-configuration-values"><a href="#constant-configuration-values" class="anchor"></a>Constant configuration values</h3></header><dl><dt class="spec value" id="val-anonymous_block_num_sep"><a href="#val-anonymous_block_num_sep" class="anchor"></a><code><span class="keyword">val</span> anonymous_block_num_sep : string</code></dt><dt class="spec value" id="val-anonymous_block_prefix"><a href="#val-anonymous_block_prefix" class="anchor"></a><code><span class="keyword">val</span> anonymous_block_prefix : string</code></dt><dt class="spec value" id="val-append_buck_flavors"><a href="#val-append_buck_flavors" class="anchor"></a><code><span class="keyword">val</span> append_buck_flavors : <span>string list</span></code></dt><dt class="spec value" id="val-assign"><a href="#val-assign" class="anchor"></a><code><span class="keyword">val</span> assign : string</code></dt><dt class="spec value" id="val-backend_stats_dir_name"><a href="#val-backend_stats_dir_name" class="anchor"></a><code><span class="keyword">val</span> backend_stats_dir_name : string</code></dt><dt class="spec value" id="val-biabduction_models_dir"><a href="#val-biabduction_models_dir" class="anchor"></a><code><span class="keyword">val</span> biabduction_models_dir : string</code></dt><dt class="spec value" id="val-biabduction_models_jar"><a href="#val-biabduction_models_jar" class="anchor"></a><code><span class="keyword">val</span> biabduction_models_jar : string</code></dt><dt class="spec value" id="val-biabduction_models_src_dir"><a href="#val-biabduction_models_src_dir" class="anchor"></a><code><span class="keyword">val</span> biabduction_models_src_dir : string</code></dt><dt class="spec value" id="val-bin_dir"><a href="#val-bin_dir" class="anchor"></a><code><span class="keyword">val</span> bin_dir : string</code></dt><dt class="spec value" id="val-bound_error_allowed_in_procedure_call"><a href="#val-bound_error_allowed_in_procedure_call" class="anchor"></a><code><span class="keyword">val</span> bound_error_allowed_in_procedure_call : bool</code></dt><dt class="spec value" id="val-buck_infer_deps_file_name"><a href="#val-buck_infer_deps_file_name" class="anchor"></a><code><span class="keyword">val</span> buck_infer_deps_file_name : string</code></dt><dt class="spec value" id="val-captured_dir_name"><a href="#val-captured_dir_name" class="anchor"></a><code><span class="keyword">val</span> captured_dir_name : string</code></dt><dt class="spec value" id="val-clang_initializer_prefix"><a href="#val-clang_initializer_prefix" class="anchor"></a><code><span class="keyword">val</span> clang_initializer_prefix : string</code></dt><dt class="spec value" id="val-clang_inner_destructor_prefix"><a href="#val-clang_inner_destructor_prefix" class="anchor"></a><code><span class="keyword">val</span> clang_inner_destructor_prefix : string</code></dt><dt class="spec value" id="val-classnames_dir_name"><a href="#val-classnames_dir_name" class="anchor"></a><code><span class="keyword">val</span> classnames_dir_name : string</code></dt><dt class="spec value" id="val-classpath"><a href="#val-classpath" class="anchor"></a><code><span class="keyword">val</span> classpath : <span>string option</span></code></dt><dt class="spec value" id="val-costs_report_json"><a href="#val-costs_report_json" class="anchor"></a><code><span class="keyword">val</span> costs_report_json : string</code></dt><dt class="spec value" id="val-csl_analysis"><a href="#val-csl_analysis" class="anchor"></a><code><span class="keyword">val</span> csl_analysis : bool</code></dt><dt class="spec value" id="val-default_failure_name"><a href="#val-default_failure_name" class="anchor"></a><code><span class="keyword">val</span> default_failure_name : string</code></dt><dt class="spec value" id="val-default_in_zip_results_dir"><a href="#val-default_in_zip_results_dir" class="anchor"></a><code><span class="keyword">val</span> default_in_zip_results_dir : string</code></dt><dt class="spec value" id="val-dotty_output"><a href="#val-dotty_output" class="anchor"></a><code><span class="keyword">val</span> dotty_output : string</code></dt><dt class="spec value" id="val-driver_stats_dir_name"><a href="#val-driver_stats_dir_name" class="anchor"></a><code><span class="keyword">val</span> driver_stats_dir_name : string</code></dt><dt class="spec value" id="val-duplicates_filename"><a href="#val-duplicates_filename" class="anchor"></a><code><span class="keyword">val</span> duplicates_filename : string</code></dt><dt class="spec value" id="val-etc_dir"><a href="#val-etc_dir" class="anchor"></a><code><span class="keyword">val</span> etc_dir : string</code></dt><dt class="spec value" id="val-events_dir_name"><a href="#val-events_dir_name" class="anchor"></a><code><span class="keyword">val</span> events_dir_name : string</code></dt><dt class="spec value" id="val-fail_on_issue_exit_code"><a href="#val-fail_on_issue_exit_code" class="anchor"></a><code><span class="keyword">val</span> fail_on_issue_exit_code : int</code></dt><dt class="spec value" id="val-frontend_stats_dir_name"><a href="#val-frontend_stats_dir_name" class="anchor"></a><code><span class="keyword">val</span> frontend_stats_dir_name : string</code></dt><dt class="spec value" id="val-global_tenv_filename"><a href="#val-global_tenv_filename" class="anchor"></a><code><span class="keyword">val</span> global_tenv_filename : string</code></dt><dt class="spec value" id="val-idempotent_getters"><a href="#val-idempotent_getters" class="anchor"></a><code><span class="keyword">val</span> idempotent_getters : bool</code></dt><dt class="spec value" id="val-infer_py_argparse_error_exit_code"><a href="#val-infer_py_argparse_error_exit_code" class="anchor"></a><code><span class="keyword">val</span> infer_py_argparse_error_exit_code : int</code></dt><dt class="spec value" id="val-initial_analysis_time"><a href="#val-initial_analysis_time" class="anchor"></a><code><span class="keyword">val</span> initial_analysis_time : float</code></dt><dt class="spec value" id="val-ivar_attributes"><a href="#val-ivar_attributes" class="anchor"></a><code><span class="keyword">val</span> ivar_attributes : string</code></dt><dt class="spec value" id="val-lib_dir"><a href="#val-lib_dir" class="anchor"></a><code><span class="keyword">val</span> lib_dir : string</code></dt><dt class="spec value" id="val-lint_dotty_dir_name"><a href="#val-lint_dotty_dir_name" class="anchor"></a><code><span class="keyword">val</span> lint_dotty_dir_name : string</code></dt><dt class="spec value" id="val-lint_issues_dir_name"><a href="#val-lint_issues_dir_name" class="anchor"></a><code><span class="keyword">val</span> lint_issues_dir_name : string</code></dt><dt class="spec value" id="val-load_average"><a href="#val-load_average" class="anchor"></a><code><span class="keyword">val</span> load_average : <span>float option</span></code></dt><dt class="spec value" id="val-max_narrows"><a href="#val-max_narrows" class="anchor"></a><code><span class="keyword">val</span> max_narrows : int</code></dt><dt class="spec value" id="val-max_widens"><a href="#val-max_widens" class="anchor"></a><code><span class="keyword">val</span> max_widens : int</code></dt><dt class="spec value" id="val-meet_level"><a href="#val-meet_level" class="anchor"></a><code><span class="keyword">val</span> meet_level : int</code></dt><dt class="spec value" id="val-nsnotification_center_checker_backend"><a href="#val-nsnotification_center_checker_backend" class="anchor"></a><code><span class="keyword">val</span> nsnotification_center_checker_backend : bool</code></dt><dt class="spec value" id="val-os_type"><a href="#val-os_type" class="anchor"></a><code><span class="keyword">val</span> os_type : <a href="index.html#type-os_type">os_type</a></code></dt><dt class="spec value" id="val-passthroughs"><a href="#val-passthroughs" class="anchor"></a><code><span class="keyword">val</span> passthroughs : bool</code></dt><dt class="spec value" id="val-patterns_modeled_expensive"><a href="#val-patterns_modeled_expensive" class="anchor"></a><code><span class="keyword">val</span> patterns_modeled_expensive : string * Yojson.Basic.t</code></dt><dt class="spec value" id="val-patterns_never_returning_null"><a href="#val-patterns_never_returning_null" class="anchor"></a><code><span class="keyword">val</span> patterns_never_returning_null : string * Yojson.Basic.t</code></dt><dt class="spec value" id="val-patterns_skip_implementation"><a href="#val-patterns_skip_implementation" class="anchor"></a><code><span class="keyword">val</span> patterns_skip_implementation : string * Yojson.Basic.t</code></dt><dt class="spec value" id="val-patterns_skip_translation"><a href="#val-patterns_skip_translation" class="anchor"></a><code><span class="keyword">val</span> patterns_skip_translation : string * Yojson.Basic.t</code></dt><dt class="spec value" id="val-perf_stats_prefix"><a href="#val-perf_stats_prefix" class="anchor"></a><code><span class="keyword">val</span> perf_stats_prefix : string</code></dt><dt class="spec value" id="val-pp_version"><a href="#val-pp_version" class="anchor"></a><code><span class="keyword">val</span> pp_version : Stdlib.Format.formatter <span>&#45;&gt;</span> unit <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-proc_stats_filename"><a href="#val-proc_stats_filename" class="anchor"></a><code><span class="keyword">val</span> proc_stats_filename : string</code></dt><dt class="spec value" id="val-property_attributes"><a href="#val-property_attributes" class="anchor"></a><code><span class="keyword">val</span> property_attributes : string</code></dt><dt class="spec value" id="val-racerd_issues_dir_name"><a href="#val-racerd_issues_dir_name" class="anchor"></a><code><span class="keyword">val</span> racerd_issues_dir_name : string</code></dt><dt class="spec value" id="val-relative_path_backtrack"><a href="#val-relative_path_backtrack" class="anchor"></a><code><span class="keyword">val</span> relative_path_backtrack : int</code></dt><dt class="spec value" id="val-report"><a href="#val-report" class="anchor"></a><code><span class="keyword">val</span> report : bool</code></dt><dt class="spec value" id="val-report_condition_always_true_in_clang"><a href="#val-report_condition_always_true_in_clang" class="anchor"></a><code><span class="keyword">val</span> report_condition_always_true_in_clang : bool</code></dt><dt class="spec value" id="val-report_custom_error"><a href="#val-report_custom_error" class="anchor"></a><code><span class="keyword">val</span> report_custom_error : bool</code></dt><dt class="spec value" id="val-report_force_relative_path"><a href="#val-report_force_relative_path" class="anchor"></a><code><span class="keyword">val</span> report_force_relative_path : bool</code></dt><dt class="spec value" id="val-report_json"><a href="#val-report_json" class="anchor"></a><code><span class="keyword">val</span> report_json : string</code></dt><dt class="spec value" id="val-report_nullable_inconsistency"><a href="#val-report_nullable_inconsistency" class="anchor"></a><code><span class="keyword">val</span> report_nullable_inconsistency : bool</code></dt><dt class="spec value" id="val-reporting_stats_dir_name"><a href="#val-reporting_stats_dir_name" class="anchor"></a><code><span class="keyword">val</span> reporting_stats_dir_name : string</code></dt><dt class="spec value" id="val-retain_cycle_dotty_dir"><a href="#val-retain_cycle_dotty_dir" class="anchor"></a><code><span class="keyword">val</span> retain_cycle_dotty_dir : string</code></dt><dt class="spec value" id="val-save_compact_summaries"><a href="#val-save_compact_summaries" class="anchor"></a><code><span class="keyword">val</span> save_compact_summaries : bool</code></dt><dt class="spec value" id="val-smt_output"><a href="#val-smt_output" class="anchor"></a><code><span class="keyword">val</span> smt_output : bool</code></dt><dt class="spec value" id="val-source_file_extentions"><a href="#val-source_file_extentions" class="anchor"></a><code><span class="keyword">val</span> source_file_extentions : <span>string list</span></code></dt><dt class="spec value" id="val-sourcepath"><a href="#val-sourcepath" class="anchor"></a><code><span class="keyword">val</span> sourcepath : <span>string option</span></code></dt><dt class="spec value" id="val-sources"><a href="#val-sources" class="anchor"></a><code><span class="keyword">val</span> sources : <span>string list</span></code></dt><dt class="spec value" id="val-specs_dir_name"><a href="#val-specs_dir_name" class="anchor"></a><code><span class="keyword">val</span> specs_dir_name : string</code></dt><dt class="spec value" id="val-specs_files_suffix"><a href="#val-specs_files_suffix" class="anchor"></a><code><span class="keyword">val</span> specs_files_suffix : string</code></dt><dt class="spec value" id="val-starvation_issues_dir_name"><a href="#val-starvation_issues_dir_name" class="anchor"></a><code><span class="keyword">val</span> starvation_issues_dir_name : string</code></dt><dt class="spec value" id="val-trace_absarray"><a href="#val-trace_absarray" class="anchor"></a><code><span class="keyword">val</span> trace_absarray : bool</code></dt><dt class="spec value" id="val-trace_events_file"><a href="#val-trace_events_file" class="anchor"></a><code><span class="keyword">val</span> trace_events_file : string</code></dt><dt class="spec value" id="val-unsafe_unret"><a href="#val-unsafe_unret" class="anchor"></a><code><span class="keyword">val</span> unsafe_unret : string</code></dt><dt class="spec value" id="val-use_cost_threshold"><a href="#val-use_cost_threshold" class="anchor"></a><code><span class="keyword">val</span> use_cost_threshold : bool</code></dt><dt class="spec value" id="val-incremental_analysis"><a href="#val-incremental_analysis" class="anchor"></a><code><span class="keyword">val</span> incremental_analysis : bool</code></dt><dt class="spec value" id="val-weak"><a href="#val-weak" class="anchor"></a><code><span class="keyword">val</span> weak : string</code></dt><dt class="spec value" id="val-whitelisted_cpp_classes"><a href="#val-whitelisted_cpp_classes" class="anchor"></a><code><span class="keyword">val</span> whitelisted_cpp_classes : <span>string list</span></code></dt><dt class="spec value" id="val-whitelisted_cpp_methods"><a href="#val-whitelisted_cpp_methods" class="anchor"></a><code><span class="keyword">val</span> whitelisted_cpp_methods : <span>string list</span></code></dt><dt class="spec value" id="val-wrappers_dir"><a href="#val-wrappers_dir" class="anchor"></a><code><span class="keyword">val</span> wrappers_dir : string</code></dt></dl></section><section><header><h3 id="configuration-values-specified-by-command-line-options"><a href="#configuration-values-specified-by-command-line-options" class="anchor"></a>Configuration values specified by command-line options</h3></header><dl><dt class="spec type" id="type-iphoneos_target_sdk_version_path_regex"><a href="#type-iphoneos_target_sdk_version_path_regex" class="anchor"></a><code><span class="keyword">type</span> iphoneos_target_sdk_version_path_regex</code><code> = </code><code>{</code><table class="record"><tr id="type-iphoneos_target_sdk_version_path_regex.path" class="anchored"><td class="def field"><a href="#type-iphoneos_target_sdk_version_path_regex.path" class="anchor"></a><code>path : Str.regexp;</code></td></tr><tr id="type-iphoneos_target_sdk_version_path_regex.version" class="anchored"><td class="def field"><a href="#type-iphoneos_target_sdk_version_path_regex.version" class="anchor"></a><code>version : string;</code></td></tr></table><code>}</code></dt></dl><dl><dt class="spec value" id="val-abs_struct"><a href="#val-abs_struct" class="anchor"></a><code><span class="keyword">val</span> abs_struct : int</code></dt><dt class="spec value" id="val-abs_val"><a href="#val-abs_val" class="anchor"></a><code><span class="keyword">val</span> abs_val : int</code></dt><dt class="spec value" id="val-allow_leak"><a href="#val-allow_leak" class="anchor"></a><code><span class="keyword">val</span> allow_leak : bool</code></dt><dt class="spec value" id="val-analysis_blacklist_files_containing"><a href="#val-analysis_blacklist_files_containing" class="anchor"></a><code><span class="keyword">val</span> analysis_blacklist_files_containing : <span>string list</span></code></dt><dt class="spec value" id="val-analysis_path_regex_blacklist"><a href="#val-analysis_path_regex_blacklist" class="anchor"></a><code><span class="keyword">val</span> analysis_path_regex_blacklist : <span>string list</span></code></dt><dt class="spec value" id="val-analysis_path_regex_whitelist"><a href="#val-analysis_path_regex_whitelist" class="anchor"></a><code><span class="keyword">val</span> analysis_path_regex_whitelist : <span>string list</span></code></dt><dt class="spec value" id="val-analysis_stops"><a href="#val-analysis_stops" class="anchor"></a><code><span class="keyword">val</span> analysis_stops : bool</code></dt><dt class="spec value" id="val-analysis_suppress_errors"><a href="#val-analysis_suppress_errors" class="anchor"></a><code><span class="keyword">val</span> analysis_suppress_errors : <span>string list</span></code></dt><dt class="spec value" id="val-annotation_reachability"><a href="#val-annotation_reachability" class="anchor"></a><code><span class="keyword">val</span> annotation_reachability : bool</code></dt><dt class="spec value" id="val-annotation_reachability_cxx"><a href="#val-annotation_reachability_cxx" class="anchor"></a><code><span class="keyword">val</span> annotation_reachability_cxx : Yojson.Basic.t</code></dt><dt class="spec value" id="val-annotation_reachability_cxx_sources"><a href="#val-annotation_reachability_cxx_sources" class="anchor"></a><code><span class="keyword">val</span> annotation_reachability_cxx_sources : Yojson.Basic.t</code></dt><dt class="spec value" id="val-annotation_reachability_custom_pairs"><a href="#val-annotation_reachability_custom_pairs" class="anchor"></a><code><span class="keyword">val</span> annotation_reachability_custom_pairs : Yojson.Basic.t</code></dt><dt class="spec value" id="val-anon_args"><a href="#val-anon_args" class="anchor"></a><code><span class="keyword">val</span> anon_args : <span>string list</span></code></dt><dt class="spec value" id="val-array_level"><a href="#val-array_level" class="anchor"></a><code><span class="keyword">val</span> array_level : int</code></dt><dt class="spec value" id="val-biabduction"><a href="#val-biabduction" class="anchor"></a><code><span class="keyword">val</span> biabduction : bool</code></dt><dt class="spec value" id="val-biabduction_model_alloc_pattern"><a href="#val-biabduction_model_alloc_pattern" class="anchor"></a><code><span class="keyword">val</span> biabduction_model_alloc_pattern : <span>Str.regexp option</span></code></dt><dt class="spec value" id="val-biabduction_model_free_pattern"><a href="#val-biabduction_model_free_pattern" class="anchor"></a><code><span class="keyword">val</span> biabduction_model_free_pattern : <span>Str.regexp option</span></code></dt><dt class="spec value" id="val-biabduction_models_mode"><a href="#val-biabduction_models_mode" class="anchor"></a><code><span class="keyword">val</span> biabduction_models_mode : bool</code></dt><dt class="spec value" id="val-bo_debug"><a href="#val-bo_debug" class="anchor"></a><code><span class="keyword">val</span> bo_debug : int</code></dt><dt class="spec value" id="val-bo_relational_domain"><a href="#val-bo_relational_domain" class="anchor"></a><code><span class="keyword">val</span> bo_relational_domain : <span><span>[ `Bo_relational_domain_oct <span>| `Bo_relational_domain_poly</span> ]</span> option</span></code></dt><dt class="spec value" id="val-bootclasspath"><a href="#val-bootclasspath" class="anchor"></a><code><span class="keyword">val</span> bootclasspath : <span>string option</span></code></dt><dt class="spec value" id="val-buck"><a href="#val-buck" class="anchor"></a><code><span class="keyword">val</span> buck : bool</code></dt><dt class="spec value" id="val-buck_blacklist"><a href="#val-buck_blacklist" class="anchor"></a><code><span class="keyword">val</span> buck_blacklist : <span>string list</span></code></dt><dt class="spec value" id="val-buck_build_args"><a href="#val-buck_build_args" class="anchor"></a><code><span class="keyword">val</span> buck_build_args : <span>string list</span></code></dt><dt class="spec value" id="val-buck_build_args_no_inline"><a href="#val-buck_build_args_no_inline" class="anchor"></a><code><span class="keyword">val</span> buck_build_args_no_inline : <span>string list</span></code></dt><dt class="spec value" id="val-buck_cache_mode"><a href="#val-buck_cache_mode" class="anchor"></a><code><span class="keyword">val</span> buck_cache_mode : bool</code></dt><dt class="spec value" id="val-buck_compilation_database"><a href="#val-buck_compilation_database" class="anchor"></a><code><span class="keyword">val</span> buck_compilation_database : <span><a href="index.html#type-compilation_database_dependencies">compilation_database_dependencies</a> option</span></code></dt><dt class="spec value" id="val-buck_out"><a href="#val-buck_out" class="anchor"></a><code><span class="keyword">val</span> buck_out : <span>string option</span></code></dt><dt class="spec value" id="val-buck_targets_blacklist"><a href="#val-buck_targets_blacklist" class="anchor"></a><code><span class="keyword">val</span> buck_targets_blacklist : <span>string list</span></code></dt><dt class="spec value" id="val-bufferoverrun"><a href="#val-bufferoverrun" class="anchor"></a><code><span class="keyword">val</span> bufferoverrun : bool</code></dt><dt class="spec value" id="val-call_graph_schedule"><a href="#val-call_graph_schedule" class="anchor"></a><code><span class="keyword">val</span> call_graph_schedule : bool</code></dt><dt class="spec value" id="val-capture"><a href="#val-capture" class="anchor"></a><code><span class="keyword">val</span> capture : bool</code></dt><dt class="spec value" id="val-capture_blacklist"><a href="#val-capture_blacklist" class="anchor"></a><code><span class="keyword">val</span> capture_blacklist : <span>string option</span></code></dt><dt class="spec value" id="val-captured_dir"><a href="#val-captured_dir" class="anchor"></a><code><span class="keyword">val</span> captured_dir : string</code></dt><dd><p>directory where the results of the capture phase are stored</p></dd></dl><dl><dt class="spec value" id="val-censor_report"><a href="#val-censor_report" class="anchor"></a><code><span class="keyword">val</span> censor_report : <span><span>(<span>(bool * Str.regexp)</span> * <span>(bool * Str.regexp)</span> * string)</span> list</span></code></dt><dt class="spec value" id="val-changed_files_index"><a href="#val-changed_files_index" class="anchor"></a><code><span class="keyword">val</span> changed_files_index : <span>string option</span></code></dt><dt class="spec value" id="val-check_version"><a href="#val-check_version" class="anchor"></a><code><span class="keyword">val</span> check_version : <span>string option</span></code></dt><dt class="spec value" id="val-clang_biniou_file"><a href="#val-clang_biniou_file" class="anchor"></a><code><span class="keyword">val</span> clang_biniou_file : <span>string option</span></code></dt><dt class="spec value" id="val-clang_extra_flags"><a href="#val-clang_extra_flags" class="anchor"></a><code><span class="keyword">val</span> clang_extra_flags : <span>string list</span></code></dt><dt class="spec value" id="val-clang_blacklisted_flags"><a href="#val-clang_blacklisted_flags" class="anchor"></a><code><span class="keyword">val</span> clang_blacklisted_flags : <span>string list</span></code></dt><dt class="spec value" id="val-clang_blacklisted_flags_with_arg"><a href="#val-clang_blacklisted_flags_with_arg" class="anchor"></a><code><span class="keyword">val</span> clang_blacklisted_flags_with_arg : <span>string list</span></code></dt><dt class="spec value" id="val-clang_frontend_action_string"><a href="#val-clang_frontend_action_string" class="anchor"></a><code><span class="keyword">val</span> clang_frontend_action_string : string</code></dt><dt class="spec value" id="val-clang_ignore_regex"><a href="#val-clang_ignore_regex" class="anchor"></a><code><span class="keyword">val</span> clang_ignore_regex : <span>string option</span></code></dt><dt class="spec value" id="val-clang_isystem_to_override_regex"><a href="#val-clang_isystem_to_override_regex" class="anchor"></a><code><span class="keyword">val</span> clang_isystem_to_override_regex : <span>string option</span></code></dt><dt class="spec value" id="val-clang_libcxx_include_to_override_regex"><a href="#val-clang_libcxx_include_to_override_regex" class="anchor"></a><code><span class="keyword">val</span> clang_libcxx_include_to_override_regex : <span>string option</span></code></dt><dt class="spec value" id="val-class_loads"><a href="#val-class_loads" class="anchor"></a><code><span class="keyword">val</span> class_loads : bool</code></dt><dt class="spec value" id="val-class_loads_roots"><a href="#val-class_loads_roots" class="anchor"></a><code><span class="keyword">val</span> class_loads_roots : <a href="../../InferStdlib/InferStdlib/index.html#module-IStd">InferStdlib.IStd</a>.String.Set.t</code></dt><dt class="spec value" id="val-command"><a href="#val-command" class="anchor"></a><code><span class="keyword">val</span> command : <a href="../../InferGenerated/InferGenerated/InferCommand/index.html#type-t">InferGenerated.InferCommand.t</a></code></dt><dt class="spec value" id="val-compute_analytics"><a href="#val-compute_analytics" class="anchor"></a><code><span class="keyword">val</span> compute_analytics : bool</code></dt><dt class="spec value" id="val-continue_capture"><a href="#val-continue_capture" class="anchor"></a><code><span class="keyword">val</span> continue_capture : bool</code></dt><dt class="spec value" id="val-cost"><a href="#val-cost" class="anchor"></a><code><span class="keyword">val</span> cost : bool</code></dt><dt class="spec value" id="val-costs_current"><a href="#val-costs_current" class="anchor"></a><code><span class="keyword">val</span> costs_current : <span>string option</span></code></dt><dt class="spec value" id="val-costs_previous"><a href="#val-costs_previous" class="anchor"></a><code><span class="keyword">val</span> costs_previous : <span>string option</span></code></dt><dt class="spec value" id="val-cxx"><a href="#val-cxx" class="anchor"></a><code><span class="keyword">val</span> cxx : bool</code></dt><dt class="spec value" id="val-cxx_scope_guards"><a href="#val-cxx_scope_guards" class="anchor"></a><code><span class="keyword">val</span> cxx_scope_guards : Yojson.Basic.t</code></dt><dt class="spec value" id="val-debug_exceptions"><a href="#val-debug_exceptions" class="anchor"></a><code><span class="keyword">val</span> debug_exceptions : bool</code></dt><dt class="spec value" id="val-debug_level_analysis"><a href="#val-debug_level_analysis" class="anchor"></a><code><span class="keyword">val</span> debug_level_analysis : int</code></dt><dt class="spec value" id="val-debug_level_capture"><a href="#val-debug_level_capture" class="anchor"></a><code><span class="keyword">val</span> debug_level_capture : int</code></dt><dt class="spec value" id="val-debug_level_linters"><a href="#val-debug_level_linters" class="anchor"></a><code><span class="keyword">val</span> debug_level_linters : int</code></dt><dt class="spec value" id="val-debug_level_test_determinator"><a href="#val-debug_level_test_determinator" class="anchor"></a><code><span class="keyword">val</span> debug_level_test_determinator : int</code></dt><dt class="spec value" id="val-debug_mode"><a href="#val-debug_mode" class="anchor"></a><code><span class="keyword">val</span> debug_mode : bool</code></dt><dt class="spec value" id="val-default_linters"><a href="#val-default_linters" class="anchor"></a><code><span class="keyword">val</span> default_linters : bool</code></dt><dt class="spec value" id="val-dependency_mode"><a href="#val-dependency_mode" class="anchor"></a><code><span class="keyword">val</span> dependency_mode : bool</code></dt><dt class="spec value" id="val-developer_mode"><a href="#val-developer_mode" class="anchor"></a><code><span class="keyword">val</span> developer_mode : bool</code></dt><dt class="spec value" id="val-differential_filter_files"><a href="#val-differential_filter_files" class="anchor"></a><code><span class="keyword">val</span> differential_filter_files : <span>string option</span></code></dt><dt class="spec value" id="val-differential_filter_set"><a href="#val-differential_filter_set" class="anchor"></a><code><span class="keyword">val</span> differential_filter_set : <span><span>[ `Introduced <span>| `Fixed</span> <span>| `Preexisting</span> ]</span> list</span></code></dt><dt class="spec value" id="val-dotty_cfg_libs"><a href="#val-dotty_cfg_libs" class="anchor"></a><code><span class="keyword">val</span> dotty_cfg_libs : bool</code></dt><dt class="spec value" id="val-dump_duplicate_symbols"><a href="#val-dump_duplicate_symbols" class="anchor"></a><code><span class="keyword">val</span> dump_duplicate_symbols : bool</code></dt><dt class="spec value" id="val-dynamic_dispatch"><a href="#val-dynamic_dispatch" class="anchor"></a><code><span class="keyword">val</span> dynamic_dispatch : bool</code></dt><dt class="spec value" id="val-eradicate"><a href="#val-eradicate" class="anchor"></a><code><span class="keyword">val</span> eradicate : bool</code></dt><dt class="spec value" id="val-eradicate_condition_redundant"><a href="#val-eradicate_condition_redundant" class="anchor"></a><code><span class="keyword">val</span> eradicate_condition_redundant : bool</code></dt><dt class="spec value" id="val-eradicate_field_not_mutable"><a href="#val-eradicate_field_not_mutable" class="anchor"></a><code><span class="keyword">val</span> eradicate_field_not_mutable : bool</code></dt><dt class="spec value" id="val-eradicate_field_over_annotated"><a href="#val-eradicate_field_over_annotated" class="anchor"></a><code><span class="keyword">val</span> eradicate_field_over_annotated : bool</code></dt><dt class="spec value" id="val-eradicate_optional_present"><a href="#val-eradicate_optional_present" class="anchor"></a><code><span class="keyword">val</span> eradicate_optional_present : bool</code></dt><dt class="spec value" id="val-eradicate_return_over_annotated"><a href="#val-eradicate_return_over_annotated" class="anchor"></a><code><span class="keyword">val</span> eradicate_return_over_annotated : bool</code></dt><dt class="spec value" id="val-eradicate_verbose"><a href="#val-eradicate_verbose" class="anchor"></a><code><span class="keyword">val</span> eradicate_verbose : bool</code></dt><dt class="spec value" id="val-fail_on_bug"><a href="#val-fail_on_bug" class="anchor"></a><code><span class="keyword">val</span> fail_on_bug : bool</code></dt><dt class="spec value" id="val-fcp_apple_clang"><a href="#val-fcp_apple_clang" class="anchor"></a><code><span class="keyword">val</span> fcp_apple_clang : <span>string option</span></code></dt><dt class="spec value" id="val-fcp_syntax_only"><a href="#val-fcp_syntax_only" class="anchor"></a><code><span class="keyword">val</span> fcp_syntax_only : bool</code></dt><dt class="spec value" id="val-file_renamings"><a href="#val-file_renamings" class="anchor"></a><code><span class="keyword">val</span> file_renamings : <span>string option</span></code></dt><dt class="spec value" id="val-filter_paths"><a href="#val-filter_paths" class="anchor"></a><code><span class="keyword">val</span> filter_paths : bool</code></dt><dt class="spec value" id="val-filtering"><a href="#val-filtering" class="anchor"></a><code><span class="keyword">val</span> filtering : bool</code></dt><dt class="spec value" id="val-flavors"><a href="#val-flavors" class="anchor"></a><code><span class="keyword">val</span> flavors : bool</code></dt><dt class="spec value" id="val-force_delete_results_dir"><a href="#val-force_delete_results_dir" class="anchor"></a><code><span class="keyword">val</span> force_delete_results_dir : bool</code></dt><dt class="spec value" id="val-force_integration"><a href="#val-force_integration" class="anchor"></a><code><span class="keyword">val</span> force_integration : <span><a href="index.html#type-build_system">build_system</a> option</span></code></dt><dt class="spec value" id="val-fragment_retains_view"><a href="#val-fragment_retains_view" class="anchor"></a><code><span class="keyword">val</span> fragment_retains_view : bool</code></dt><dt class="spec value" id="val-from_json_report"><a href="#val-from_json_report" class="anchor"></a><code><span class="keyword">val</span> from_json_report : <span>string option</span></code></dt><dt class="spec value" id="val-frontend_stats"><a href="#val-frontend_stats" class="anchor"></a><code><span class="keyword">val</span> frontend_stats : bool</code></dt><dt class="spec value" id="val-frontend_tests"><a href="#val-frontend_tests" class="anchor"></a><code><span class="keyword">val</span> frontend_tests : bool</code></dt><dt class="spec value" id="val-function_pointer_specialization"><a href="#val-function_pointer_specialization" class="anchor"></a><code><span class="keyword">val</span> function_pointer_specialization : bool</code></dt><dt class="spec value" id="val-generated_classes"><a href="#val-generated_classes" class="anchor"></a><code><span class="keyword">val</span> generated_classes : <span>string option</span></code></dt><dt class="spec value" id="val-genrule_master_mode"><a href="#val-genrule_master_mode" class="anchor"></a><code><span class="keyword">val</span> genrule_master_mode : bool</code></dt><dt class="spec value" id="val-genrule_mode"><a href="#val-genrule_mode" class="anchor"></a><code><span class="keyword">val</span> genrule_mode : bool</code></dt><dt class="spec value" id="val-get_linter_doc_url"><a href="#val-get_linter_doc_url" class="anchor"></a><code><span class="keyword">val</span> get_linter_doc_url : <span>linter_id:string</span> <span>&#45;&gt;</span> <span>string option</span></code></dt><dt class="spec value" id="val-hoisting_report_only_expensive"><a href="#val-hoisting_report_only_expensive" class="anchor"></a><code><span class="keyword">val</span> hoisting_report_only_expensive : bool</code></dt><dt class="spec value" id="val-html"><a href="#val-html" class="anchor"></a><code><span class="keyword">val</span> html : bool</code></dt><dt class="spec value" id="val-icfg_dotty_outfile"><a href="#val-icfg_dotty_outfile" class="anchor"></a><code><span class="keyword">val</span> icfg_dotty_outfile : <span>string option</span></code></dt><dt class="spec value" id="val-immutable_cast"><a href="#val-immutable_cast" class="anchor"></a><code><span class="keyword">val</span> immutable_cast : bool</code></dt><dt class="spec value" id="val-inefficient_keyset_iterator"><a href="#val-inefficient_keyset_iterator" class="anchor"></a><code><span class="keyword">val</span> inefficient_keyset_iterator : bool</code></dt><dt class="spec value" id="val-infer_is_clang"><a href="#val-infer_is_clang" class="anchor"></a><code><span class="keyword">val</span> infer_is_clang : bool</code></dt><dt class="spec value" id="val-infer_is_javac"><a href="#val-infer_is_javac" class="anchor"></a><code><span class="keyword">val</span> infer_is_javac : bool</code></dt><dt class="spec value" id="val-implicit_sdk_root"><a href="#val-implicit_sdk_root" class="anchor"></a><code><span class="keyword">val</span> implicit_sdk_root : <span>string option</span></code></dt><dt class="spec value" id="val-inferconfig_file"><a href="#val-inferconfig_file" class="anchor"></a><code><span class="keyword">val</span> inferconfig_file : <span>string option</span></code></dt><dt class="spec value" id="val-iphoneos_target_sdk_version"><a href="#val-iphoneos_target_sdk_version" class="anchor"></a><code><span class="keyword">val</span> iphoneos_target_sdk_version : <span>string option</span></code></dt><dt class="spec value" id="val-iphoneos_target_sdk_version_path_regex"><a href="#val-iphoneos_target_sdk_version_path_regex" class="anchor"></a><code><span class="keyword">val</span> iphoneos_target_sdk_version_path_regex : <span><a href="index.html#type-iphoneos_target_sdk_version_path_regex">iphoneos_target_sdk_version_path_regex</a> list</span></code></dt><dt class="spec value" id="val-issues_fields"><a href="#val-issues_fields" class="anchor"></a><code><span class="keyword">val</span> issues_fields : <span><span>[ `Issue_field_bug_type <span>| `Issue_field_qualifier</span> <span>| `Issue_field_severity</span> <span>| `Issue_field_bucket</span> <span>| `Issue_field_line</span> <span>| `Issue_field_column</span> <span>| `Issue_field_procedure</span> <span>| `Issue_field_procedure_start_line</span> <span>| `Issue_field_file</span> <span>| `Issue_field_bug_trace</span> <span>| `Issue_field_key</span> <span>| `Issue_field_hash</span> <span>| `Issue_field_line_offset</span> <span>| `Issue_field_qualifier_contains_potential_exception_note</span> ]</span> list</span></code></dt><dt class="spec value" id="val-issues_tests"><a href="#val-issues_tests" class="anchor"></a><code><span class="keyword">val</span> issues_tests : <span>string option</span></code></dt><dt class="spec value" id="val-issues_txt"><a href="#val-issues_txt" class="anchor"></a><code><span class="keyword">val</span> issues_txt : <span>string option</span></code></dt><dt class="spec value" id="val-iterations"><a href="#val-iterations" class="anchor"></a><code><span class="keyword">val</span> iterations : int</code></dt><dt class="spec value" id="val-java_jar_compiler"><a href="#val-java_jar_compiler" class="anchor"></a><code><span class="keyword">val</span> java_jar_compiler : <span>string option</span></code></dt><dt class="spec value" id="val-java_version"><a href="#val-java_version" class="anchor"></a><code><span class="keyword">val</span> java_version : <span>int option</span></code></dt><dt class="spec value" id="val-javac_classes_out"><a href="#val-javac_classes_out" class="anchor"></a><code><span class="keyword">val</span> javac_classes_out : string</code></dt><dt class="spec value" id="val-job_id"><a href="#val-job_id" class="anchor"></a><code><span class="keyword">val</span> job_id : <span>string option</span></code></dt><dt class="spec value" id="val-jobs"><a href="#val-jobs" class="anchor"></a><code><span class="keyword">val</span> jobs : int</code></dt><dt class="spec value" id="val-join_cond"><a href="#val-join_cond" class="anchor"></a><code><span class="keyword">val</span> join_cond : int</code></dt><dt class="spec value" id="val-keep_going"><a href="#val-keep_going" class="anchor"></a><code><span class="keyword">val</span> keep_going : bool</code></dt><dt class="spec value" id="val-linter"><a href="#val-linter" class="anchor"></a><code><span class="keyword">val</span> linter : <span>string option</span></code></dt><dt class="spec value" id="val-linters"><a href="#val-linters" class="anchor"></a><code><span class="keyword">val</span> linters : bool</code></dt><dt class="spec value" id="val-linters_def_file"><a href="#val-linters_def_file" class="anchor"></a><code><span class="keyword">val</span> linters_def_file : <span>string list</span></code></dt><dt class="spec value" id="val-linters_def_folder"><a href="#val-linters_def_folder" class="anchor"></a><code><span class="keyword">val</span> linters_def_folder : <span>string list</span></code></dt><dt class="spec value" id="val-linters_developer_mode"><a href="#val-linters_developer_mode" class="anchor"></a><code><span class="keyword">val</span> linters_developer_mode : bool</code></dt><dt class="spec value" id="val-linters_ignore_clang_failures"><a href="#val-linters_ignore_clang_failures" class="anchor"></a><code><span class="keyword">val</span> linters_ignore_clang_failures : bool</code></dt><dt class="spec value" id="val-linters_validate_syntax_only"><a href="#val-linters_validate_syntax_only" class="anchor"></a><code><span class="keyword">val</span> linters_validate_syntax_only : bool</code></dt><dt class="spec value" id="val-litho"><a href="#val-litho" class="anchor"></a><code><span class="keyword">val</span> litho : bool</code></dt><dt class="spec value" id="val-liveness"><a href="#val-liveness" class="anchor"></a><code><span class="keyword">val</span> liveness : bool</code></dt><dt class="spec value" id="val-liveness_dangerous_classes"><a href="#val-liveness_dangerous_classes" class="anchor"></a><code><span class="keyword">val</span> liveness_dangerous_classes : Yojson.Basic.t</code></dt><dt class="spec value" id="val-log_events"><a href="#val-log_events" class="anchor"></a><code><span class="keyword">val</span> log_events : bool</code></dt><dt class="spec value" id="val-log_file"><a href="#val-log_file" class="anchor"></a><code><span class="keyword">val</span> log_file : string</code></dt><dt class="spec value" id="val-log_skipped"><a href="#val-log_skipped" class="anchor"></a><code><span class="keyword">val</span> log_skipped : bool</code></dt><dt class="spec value" id="val-loop_hoisting"><a href="#val-loop_hoisting" class="anchor"></a><code><span class="keyword">val</span> loop_hoisting : bool</code></dt><dt class="spec value" id="val-max_nesting"><a href="#val-max_nesting" class="anchor"></a><code><span class="keyword">val</span> max_nesting : <span>int option</span></code></dt><dt class="spec value" id="val-memcached"><a href="#val-memcached" class="anchor"></a><code><span class="keyword">val</span> memcached : bool</code></dt><dt class="spec value" id="val-memcached_size_mb"><a href="#val-memcached_size_mb" class="anchor"></a><code><span class="keyword">val</span> memcached_size_mb : int</code></dt><dt class="spec value" id="val-merge"><a href="#val-merge" class="anchor"></a><code><span class="keyword">val</span> merge : bool</code></dt><dt class="spec value" id="val-method_decls_info"><a href="#val-method_decls_info" class="anchor"></a><code><span class="keyword">val</span> method_decls_info : <span>string option</span></code></dt><dt class="spec value" id="val-ml_buckets"><a href="#val-ml_buckets" class="anchor"></a><code><span class="keyword">val</span> ml_buckets : <span><span>[ `MLeak_all <span>| `MLeak_arc</span> <span>| `MLeak_cf</span> <span>| `MLeak_cpp</span> <span>| `MLeak_no_arc</span> <span>| `MLeak_unknown</span> ]</span> list</span></code></dt><dt class="spec value" id="val-modified_lines"><a href="#val-modified_lines" class="anchor"></a><code><span class="keyword">val</span> modified_lines : <span>string option</span></code></dt><dt class="spec value" id="val-monitor_prop_size"><a href="#val-monitor_prop_size" class="anchor"></a><code><span class="keyword">val</span> monitor_prop_size : bool</code></dt><dt class="spec value" id="val-nelseg"><a href="#val-nelseg" class="anchor"></a><code><span class="keyword">val</span> nelseg : bool</code></dt><dt class="spec value" id="val-no_translate_libs"><a href="#val-no_translate_libs" class="anchor"></a><code><span class="keyword">val</span> no_translate_libs : bool</code></dt><dt class="spec value" id="val-nullable_annotation"><a href="#val-nullable_annotation" class="anchor"></a><code><span class="keyword">val</span> nullable_annotation : <span>string option</span></code></dt><dt class="spec value" id="val-nullsafe"><a href="#val-nullsafe" class="anchor"></a><code><span class="keyword">val</span> nullsafe : bool</code></dt><dt class="spec value" id="val-nullsafe_strict_containers"><a href="#val-nullsafe_strict_containers" class="anchor"></a><code><span class="keyword">val</span> nullsafe_strict_containers : bool</code></dt><dt class="spec value" id="val-oom_threshold"><a href="#val-oom_threshold" class="anchor"></a><code><span class="keyword">val</span> oom_threshold : <span>int option</span></code></dt><dt class="spec value" id="val-only_cheap_debug"><a href="#val-only_cheap_debug" class="anchor"></a><code><span class="keyword">val</span> only_cheap_debug : bool</code></dt><dt class="spec value" id="val-only_footprint"><a href="#val-only_footprint" class="anchor"></a><code><span class="keyword">val</span> only_footprint : bool</code></dt><dt class="spec value" id="val-only_show"><a href="#val-only_show" class="anchor"></a><code><span class="keyword">val</span> only_show : bool</code></dt><dt class="spec value" id="val-perf_profiler_data_file"><a href="#val-perf_profiler_data_file" class="anchor"></a><code><span class="keyword">val</span> perf_profiler_data_file : <span>string option</span></code></dt><dt class="spec value" id="val-pmd_xml"><a href="#val-pmd_xml" class="anchor"></a><code><span class="keyword">val</span> pmd_xml : bool</code></dt><dt class="spec value" id="val-precondition_stats"><a href="#val-precondition_stats" class="anchor"></a><code><span class="keyword">val</span> precondition_stats : bool</code></dt><dt class="spec value" id="val-print_active_checkers"><a href="#val-print_active_checkers" class="anchor"></a><code><span class="keyword">val</span> print_active_checkers : bool</code></dt><dt class="spec value" id="val-print_builtins"><a href="#val-print_builtins" class="anchor"></a><code><span class="keyword">val</span> print_builtins : bool</code></dt><dt class="spec value" id="val-print_log_identifier"><a href="#val-print_log_identifier" class="anchor"></a><code><span class="keyword">val</span> print_log_identifier : bool</code></dt><dt class="spec value" id="val-print_logs"><a href="#val-print_logs" class="anchor"></a><code><span class="keyword">val</span> print_logs : bool</code></dt><dt class="spec value" id="val-print_types"><a href="#val-print_types" class="anchor"></a><code><span class="keyword">val</span> print_types : bool</code></dt><dt class="spec value" id="val-print_using_diff"><a href="#val-print_using_diff" class="anchor"></a><code><span class="keyword">val</span> print_using_diff : bool</code></dt><dt class="spec value" id="val-printf_args"><a href="#val-printf_args" class="anchor"></a><code><span class="keyword">val</span> printf_args : bool</code></dt><dt class="spec value" id="val-procedures"><a href="#val-procedures" class="anchor"></a><code><span class="keyword">val</span> procedures : bool</code></dt><dt class="spec value" id="val-procedures_attributes"><a href="#val-procedures_attributes" class="anchor"></a><code><span class="keyword">val</span> procedures_attributes : bool</code></dt><dt class="spec value" id="val-procedures_definedness"><a href="#val-procedures_definedness" class="anchor"></a><code><span class="keyword">val</span> procedures_definedness : bool</code></dt><dt class="spec value" id="val-procedures_filter"><a href="#val-procedures_filter" class="anchor"></a><code><span class="keyword">val</span> procedures_filter : <span>string option</span></code></dt><dt class="spec value" id="val-procedures_name"><a href="#val-procedures_name" class="anchor"></a><code><span class="keyword">val</span> procedures_name : bool</code></dt><dt class="spec value" id="val-procedures_source_file"><a href="#val-procedures_source_file" class="anchor"></a><code><span class="keyword">val</span> procedures_source_file : bool</code></dt><dt class="spec value" id="val-procs_csv"><a href="#val-procs_csv" class="anchor"></a><code><span class="keyword">val</span> procs_csv : <span>string option</span></code></dt><dt class="spec value" id="val-profiler_samples"><a href="#val-profiler_samples" class="anchor"></a><code><span class="keyword">val</span> profiler_samples : <span>string option</span></code></dt><dt class="spec value" id="val-progress_bar"><a href="#val-progress_bar" class="anchor"></a><code><span class="keyword">val</span> progress_bar : <span>[ `MultiLine <span>| `Plain</span> <span>| `Quiet</span> ]</span></code></dt><dt class="spec value" id="val-project_root"><a href="#val-project_root" class="anchor"></a><code><span class="keyword">val</span> project_root : string</code></dt><dt class="spec value" id="val-pulse"><a href="#val-pulse" class="anchor"></a><code><span class="keyword">val</span> pulse : bool</code></dt><dt class="spec value" id="val-pulse_max_disjuncts"><a href="#val-pulse_max_disjuncts" class="anchor"></a><code><span class="keyword">val</span> pulse_max_disjuncts : int</code></dt><dt class="spec value" id="val-pulse_widen_threshold"><a href="#val-pulse_widen_threshold" class="anchor"></a><code><span class="keyword">val</span> pulse_widen_threshold : int</code></dt><dt class="spec value" id="val-purity"><a href="#val-purity" class="anchor"></a><code><span class="keyword">val</span> purity : bool</code></dt><dt class="spec value" id="val-pure_by_default"><a href="#val-pure_by_default" class="anchor"></a><code><span class="keyword">val</span> pure_by_default : bool</code></dt><dt class="spec value" id="val-quandary"><a href="#val-quandary" class="anchor"></a><code><span class="keyword">val</span> quandary : bool</code></dt><dt class="spec value" id="val-quandary_endpoints"><a href="#val-quandary_endpoints" class="anchor"></a><code><span class="keyword">val</span> quandary_endpoints : Yojson.Basic.t</code></dt><dt class="spec value" id="val-quandary_sanitizers"><a href="#val-quandary_sanitizers" class="anchor"></a><code><span class="keyword">val</span> quandary_sanitizers : Yojson.Basic.t</code></dt><dt class="spec value" id="val-quandary_sinks"><a href="#val-quandary_sinks" class="anchor"></a><code><span class="keyword">val</span> quandary_sinks : Yojson.Basic.t</code></dt><dt class="spec value" id="val-quandary_sources"><a href="#val-quandary_sources" class="anchor"></a><code><span class="keyword">val</span> quandary_sources : Yojson.Basic.t</code></dt><dt class="spec value" id="val-quandaryBO"><a href="#val-quandaryBO" class="anchor"></a><code><span class="keyword">val</span> quandaryBO : bool</code></dt><dt class="spec value" id="val-quiet"><a href="#val-quiet" class="anchor"></a><code><span class="keyword">val</span> quiet : bool</code></dt><dt class="spec value" id="val-racerd"><a href="#val-racerd" class="anchor"></a><code><span class="keyword">val</span> racerd : bool</code></dt><dt class="spec value" id="val-racerd_guardedby"><a href="#val-racerd_guardedby" class="anchor"></a><code><span class="keyword">val</span> racerd_guardedby : bool</code></dt><dt class="spec value" id="val-reactive_capture"><a href="#val-reactive_capture" class="anchor"></a><code><span class="keyword">val</span> reactive_capture : bool</code></dt><dt class="spec value" id="val-reactive_mode"><a href="#val-reactive_mode" class="anchor"></a><code><span class="keyword">val</span> reactive_mode : bool</code></dt><dt class="spec value" id="val-reanalyze"><a href="#val-reanalyze" class="anchor"></a><code><span class="keyword">val</span> reanalyze : bool</code></dt><dt class="spec value" id="val-report_current"><a href="#val-report_current" class="anchor"></a><code><span class="keyword">val</span> report_current : <span>string option</span></code></dt><dt class="spec value" id="val-report_formatter"><a href="#val-report_formatter" class="anchor"></a><code><span class="keyword">val</span> report_formatter : <span>[ `No_formatter <span>| `Phabricator_formatter</span> ]</span></code></dt><dt class="spec value" id="val-report_hook"><a href="#val-report_hook" class="anchor"></a><code><span class="keyword">val</span> report_hook : <span>string option</span></code></dt><dt class="spec value" id="val-report_previous"><a href="#val-report_previous" class="anchor"></a><code><span class="keyword">val</span> report_previous : <span>string option</span></code></dt><dt class="spec value" id="val-reports_include_ml_loc"><a href="#val-reports_include_ml_loc" class="anchor"></a><code><span class="keyword">val</span> reports_include_ml_loc : bool</code></dt><dt class="spec value" id="val-resource_leak"><a href="#val-resource_leak" class="anchor"></a><code><span class="keyword">val</span> resource_leak : bool</code></dt><dt class="spec value" id="val-rest"><a href="#val-rest" class="anchor"></a><code><span class="keyword">val</span> rest : <span>string list</span></code></dt><dt class="spec value" id="val-results_dir"><a href="#val-results_dir" class="anchor"></a><code><span class="keyword">val</span> results_dir : string</code></dt><dt class="spec value" id="val-scuba_logging"><a href="#val-scuba_logging" class="anchor"></a><code><span class="keyword">val</span> scuba_logging : bool</code></dt><dt class="spec value" id="val-scuba_normals"><a href="#val-scuba_normals" class="anchor"></a><code><span class="keyword">val</span> scuba_normals : <span>string <a href="../../InferStdlib/InferStdlib/index.html#module-IStd">InferStdlib.IStd</a>.String.Map.t</span></code></dt><dt class="spec value" id="val-seconds_per_iteration"><a href="#val-seconds_per_iteration" class="anchor"></a><code><span class="keyword">val</span> seconds_per_iteration : <span>float option</span></code></dt><dt class="spec value" id="val-select"><a href="#val-select" class="anchor"></a><code><span class="keyword">val</span> select : <span>int option</span></code></dt><dt class="spec value" id="val-show_buckets"><a href="#val-show_buckets" class="anchor"></a><code><span class="keyword">val</span> show_buckets : bool</code></dt><dt class="spec value" id="val-siof"><a href="#val-siof" class="anchor"></a><code><span class="keyword">val</span> siof : bool</code></dt><dt class="spec value" id="val-siof_check_iostreams"><a href="#val-siof_check_iostreams" class="anchor"></a><code><span class="keyword">val</span> siof_check_iostreams : bool</code></dt><dt class="spec value" id="val-siof_safe_methods"><a href="#val-siof_safe_methods" class="anchor"></a><code><span class="keyword">val</span> siof_safe_methods : <span>string list</span></code></dt><dt class="spec value" id="val-skip_analysis_in_path"><a href="#val-skip_analysis_in_path" class="anchor"></a><code><span class="keyword">val</span> skip_analysis_in_path : <span>string list</span></code></dt><dt class="spec value" id="val-skip_analysis_in_path_skips_compilation"><a href="#val-skip_analysis_in_path_skips_compilation" class="anchor"></a><code><span class="keyword">val</span> skip_analysis_in_path_skips_compilation : bool</code></dt><dt class="spec value" id="val-skip_duplicated_types"><a href="#val-skip_duplicated_types" class="anchor"></a><code><span class="keyword">val</span> skip_duplicated_types : bool</code></dt><dt class="spec value" id="val-skip_translation_headers"><a href="#val-skip_translation_headers" class="anchor"></a><code><span class="keyword">val</span> skip_translation_headers : <span>string list</span></code></dt><dt class="spec value" id="val-source_files"><a href="#val-source_files" class="anchor"></a><code><span class="keyword">val</span> source_files : bool</code></dt><dt class="spec value" id="val-source_files_cfg"><a href="#val-source_files_cfg" class="anchor"></a><code><span class="keyword">val</span> source_files_cfg : bool</code></dt><dt class="spec value" id="val-source_files_filter"><a href="#val-source_files_filter" class="anchor"></a><code><span class="keyword">val</span> source_files_filter : <span>string option</span></code></dt><dt class="spec value" id="val-source_files_freshly_captured"><a href="#val-source_files_freshly_captured" class="anchor"></a><code><span class="keyword">val</span> source_files_freshly_captured : bool</code></dt><dt class="spec value" id="val-source_files_procedure_names"><a href="#val-source_files_procedure_names" class="anchor"></a><code><span class="keyword">val</span> source_files_procedure_names : bool</code></dt><dt class="spec value" id="val-source_files_type_environment"><a href="#val-source_files_type_environment" class="anchor"></a><code><span class="keyword">val</span> source_files_type_environment : bool</code></dt><dt class="spec value" id="val-source_preview"><a href="#val-source_preview" class="anchor"></a><code><span class="keyword">val</span> source_preview : bool</code></dt><dt class="spec value" id="val-spec_abs_level"><a href="#val-spec_abs_level" class="anchor"></a><code><span class="keyword">val</span> spec_abs_level : int</code></dt><dt class="spec value" id="val-specs_library"><a href="#val-specs_library" class="anchor"></a><code><span class="keyword">val</span> specs_library : <span>string list</span></code></dt><dt class="spec value" id="val-sqlite_lock_timeout"><a href="#val-sqlite_lock_timeout" class="anchor"></a><code><span class="keyword">val</span> sqlite_lock_timeout : int</code></dt><dt class="spec value" id="val-sqlite_vfs"><a href="#val-sqlite_vfs" class="anchor"></a><code><span class="keyword">val</span> sqlite_vfs : <span>string option</span></code></dt><dt class="spec value" id="val-starvation"><a href="#val-starvation" class="anchor"></a><code><span class="keyword">val</span> starvation : bool</code></dt><dt class="spec value" id="val-starvation_skip_analysis"><a href="#val-starvation_skip_analysis" class="anchor"></a><code><span class="keyword">val</span> starvation_skip_analysis : Yojson.Basic.t</code></dt><dt class="spec value" id="val-starvation_strict_mode"><a href="#val-starvation_strict_mode" class="anchor"></a><code><span class="keyword">val</span> starvation_strict_mode : bool</code></dt><dt class="spec value" id="val-stats_report"><a href="#val-stats_report" class="anchor"></a><code><span class="keyword">val</span> stats_report : <span>string option</span></code></dt><dt class="spec value" id="val-subtype_multirange"><a href="#val-subtype_multirange" class="anchor"></a><code><span class="keyword">val</span> subtype_multirange : bool</code></dt><dt class="spec value" id="val-summary_stats"><a href="#val-summary_stats" class="anchor"></a><code><span class="keyword">val</span> summary_stats : bool</code></dt><dt class="spec value" id="val-symops_per_iteration"><a href="#val-symops_per_iteration" class="anchor"></a><code><span class="keyword">val</span> symops_per_iteration : <span>int option</span></code></dt><dt class="spec value" id="val-test_determinator"><a href="#val-test_determinator" class="anchor"></a><code><span class="keyword">val</span> test_determinator : bool</code></dt><dt class="spec value" id="val-test_determinator_output"><a href="#val-test_determinator_output" class="anchor"></a><code><span class="keyword">val</span> test_determinator_output : string</code></dt><dt class="spec value" id="val-export_changed_functions"><a href="#val-export_changed_functions" class="anchor"></a><code><span class="keyword">val</span> export_changed_functions : bool</code></dt><dt class="spec value" id="val-export_changed_functions_output"><a href="#val-export_changed_functions_output" class="anchor"></a><code><span class="keyword">val</span> export_changed_functions_output : string</code></dt><dt class="spec value" id="val-test_filtering"><a href="#val-test_filtering" class="anchor"></a><code><span class="keyword">val</span> test_filtering : bool</code></dt><dt class="spec value" id="val-testing_mode"><a href="#val-testing_mode" class="anchor"></a><code><span class="keyword">val</span> testing_mode : bool</code></dt><dt class="spec value" id="val-threadsafe_aliases"><a href="#val-threadsafe_aliases" class="anchor"></a><code><span class="keyword">val</span> threadsafe_aliases : Yojson.Basic.t</code></dt><dt class="spec value" id="val-topl_properties"><a href="#val-topl_properties" class="anchor"></a><code><span class="keyword">val</span> topl_properties : <span>string list</span></code></dt><dt class="spec value" id="val-toplevel_results_dir"><a href="#val-toplevel_results_dir" class="anchor"></a><code><span class="keyword">val</span> toplevel_results_dir : string</code></dt><dd><p>In some integrations, eg Buck, infer subprocesses started by the build system (started by the toplevel infer process) will have their own results directory; this points to the results directory of the toplevel infer process, which can be useful for, eg, storing debug info. In other cases this is equal to <a href="index.html#val-results_dir"><code>results_dir</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-trace_error"><a href="#val-trace_error" class="anchor"></a><code><span class="keyword">val</span> trace_error : bool</code></dt><dt class="spec value" id="val-trace_events"><a href="#val-trace_events" class="anchor"></a><code><span class="keyword">val</span> trace_events : bool</code></dt><dt class="spec value" id="val-trace_join"><a href="#val-trace_join" class="anchor"></a><code><span class="keyword">val</span> trace_join : bool</code></dt><dt class="spec value" id="val-trace_ondemand"><a href="#val-trace_ondemand" class="anchor"></a><code><span class="keyword">val</span> trace_ondemand : bool</code></dt><dt class="spec value" id="val-trace_rearrange"><a href="#val-trace_rearrange" class="anchor"></a><code><span class="keyword">val</span> trace_rearrange : bool</code></dt><dt class="spec value" id="val-trace_topl"><a href="#val-trace_topl" class="anchor"></a><code><span class="keyword">val</span> trace_topl : bool</code></dt><dt class="spec value" id="val-tracing"><a href="#val-tracing" class="anchor"></a><code><span class="keyword">val</span> tracing : bool</code></dt><dt class="spec value" id="val-tv_commit"><a href="#val-tv_commit" class="anchor"></a><code><span class="keyword">val</span> tv_commit : <span>string option</span></code></dt><dt class="spec value" id="val-tv_limit"><a href="#val-tv_limit" class="anchor"></a><code><span class="keyword">val</span> tv_limit : int</code></dt><dt class="spec value" id="val-tv_limit_filtered"><a href="#val-tv_limit_filtered" class="anchor"></a><code><span class="keyword">val</span> tv_limit_filtered : int</code></dt><dt class="spec value" id="val-type_size"><a href="#val-type_size" class="anchor"></a><code><span class="keyword">val</span> type_size : bool</code></dt><dt class="spec value" id="val-uninit"><a href="#val-uninit" class="anchor"></a><code><span class="keyword">val</span> uninit : bool</code></dt><dt class="spec value" id="val-uninit_interproc"><a href="#val-uninit_interproc" class="anchor"></a><code><span class="keyword">val</span> uninit_interproc : bool</code></dt><dt class="spec value" id="val-unsafe_malloc"><a href="#val-unsafe_malloc" class="anchor"></a><code><span class="keyword">val</span> unsafe_malloc : bool</code></dt><dt class="spec value" id="val-worklist_mode"><a href="#val-worklist_mode" class="anchor"></a><code><span class="keyword">val</span> worklist_mode : int</code></dt><dt class="spec value" id="val-write_dotty"><a href="#val-write_dotty" class="anchor"></a><code><span class="keyword">val</span> write_dotty : bool</code></dt><dt class="spec value" id="val-write_html"><a href="#val-write_html" class="anchor"></a><code><span class="keyword">val</span> write_html : bool</code></dt><dt class="spec value" id="val-write_html_whitelist_regex"><a href="#val-write_html_whitelist_regex" class="anchor"></a><code><span class="keyword">val</span> write_html_whitelist_regex : <span>string list</span></code></dt><dt class="spec value" id="val-xcode_developer_dir"><a href="#val-xcode_developer_dir" class="anchor"></a><code><span class="keyword">val</span> xcode_developer_dir : <span>string option</span></code></dt><dt class="spec value" id="val-xcpretty"><a href="#val-xcpretty" class="anchor"></a><code><span class="keyword">val</span> xcpretty : bool</code></dt><dd><h3 id="global-variables-with-initial-values-specified-by-command-line-options"><a href="#global-variables-with-initial-values-specified-by-command-line-options" class="anchor"></a>Global variables with initial values specified by command-line options</h3></dd></dl><dl><dt class="spec value" id="val-clang_compilation_dbs"><a href="#val-clang_compilation_dbs" class="anchor"></a><code><span class="keyword">val</span> clang_compilation_dbs : <span><span><span>[ <span>`Escaped of string</span> <span><span>| `Raw</span> of string</span> ]</span> list</span> <a href="../../InferStdlib/InferStdlib/index.html#module-IStd">InferStdlib.IStd</a>.ref</span></code></dt></dl></section><section><header><h3 id="command-line-interface-documentation"><a href="#command-line-interface-documentation" class="anchor"></a>Command Line Interface Documentation</h3></header><dl><dt class="spec value" id="val-print_usage_exit"><a href="#val-print_usage_exit" class="anchor"></a><code><span class="keyword">val</span> print_usage_exit : unit <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt></dl></section><section><header><h3 id="miscellanous"><a href="#miscellanous" class="anchor"></a>Miscellanous</h3></header><dl><dt class="spec value" id="val-is_in_custom_symbols"><a href="#val-is_in_custom_symbols" class="anchor"></a><code><span class="keyword">val</span> is_in_custom_symbols : string <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Does named symbol match any prefix in the named custom symbol list?</p></dd></dl><dl><dt class="spec value" id="val-java_package_is_external"><a href="#val-java_package_is_external" class="anchor"></a><code><span class="keyword">val</span> java_package_is_external : string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check if a Java package is external to the repository</p></dd></dl><dl><dt class="spec value" id="val-quandaryBO_filtered_issues"><a href="#val-quandaryBO_filtered_issues" class="anchor"></a><code><span class="keyword">val</span> quandaryBO_filtered_issues : <span><a href="../InferBase/IssueType/index.html#type-t">InferBase.IssueType.t</a> list</span></code></dt><dd><p>List of issues that are enabled by QuandaryBO but should not be in the final report.json</p></dd></dl><dl><dt class="spec value" id="val-execution_id"><a href="#val-execution_id" class="anchor"></a><code><span class="keyword">val</span> execution_id : <a href="../../InferStdlib/InferStdlib/index.html#module-IStd">InferStdlib.IStd</a>.Int64.t</code></dt></dl></section></div></body></html>